This is TeX, WAITS Version 2.9 (preloaded format=plain 87.12.24)  15 APR 1988 00:59
**LOGIC.SLI
(LOGIC.SLI[S86,JMC] (SLIDE2.TEX[1,JMC]) [1] [2] [3] [4] [5] [6] [7] [8] [9]
[10] [11] [12]
Overfull \hbox (2.5284pt too wide) detected at line 11, p.15
\tensy 8\teni xyls:y \tensy 6\tenrm = \teni x \tensy ↑↑[ \teni loc\tenrm (\teni 
y; result\tenrm (\teni move\tenrm (\teni x; l\tenrm )\teni ; s\tenrm )) = \teni 
loc\tenrm (\teni y; s\tenrm )\teni :

\hbox(7.5+2.5)x230.93687
.\tensy 8
.\teni x
.\teni y
.\kern0.35878
.\teni l
.etc.


Overfull \hbox (24.43533pt too wide) detected at line 13, p.15
\tensy 8\teni xycs:y \tensy 6\tenrm = \teni x \tensy ↑↑[ \teni color\tenrm (\ten
i x; result\tenrm (\teni paint\tenrm (\teni y; c\tenrm )\teni ; s\tenrm )) = \te
ni color\tenrm (\teni x; s\tenrm )\teni :

\hbox(7.5+2.5)x230.93687
.\tensy 8
.\teni x
.\teni y
.\kern0.35878
.\teni c
.etc.

[13]
Overfull \hbox (2.5284pt too wide) detected at line 11, p.16
\tensy 8\teni xyls:y \tensy 6\tenrm = \teni x \tensy ↑↑[ \teni loc\tenrm (\teni 
y; result\tenrm (\teni move\tenrm (\teni x; l\tenrm )\teni ; s\tenrm )) = \teni 
loc\tenrm (\teni y; s\tenrm )\teni :

\hbox(7.5+2.5)x230.93687
.\tensy 8
.\teni x
.\teni y
.\kern0.35878
.\teni l
.etc.


Overfull \hbox (24.43533pt too wide) detected at line 13, p.16
\tensy 8\teni xycs:y \tensy 6\tenrm = \teni x \tensy ↑↑[ \teni color\tenrm (\ten
i x; result\tenrm (\teni paint\tenrm (\teni y; c\tenrm )\teni ; s\tenrm )) = \te
ni color\tenrm (\teni x; s\tenrm )\teni :

\hbox(7.5+2.5)x230.93687
.\tensy 8
.\teni x
.\teni y
.\kern0.35878
.\teni c
.etc.

[14]
Overfull \hbox (20.95782pt too wide) detected at line 5, p.17
\tensy 8\teni xes:\tensy :\teni ab\tenrm (\teni aspect\tenrm 1(\teni x; e; s\ten
rm )) \tensy ↑↑[ \teni loc\tenrm (\teni x; result\tenrm (\teni e; s\tenrm )) = \
teni loc\tenrm (\teni x; s\tenrm )

\hbox(7.5+2.5)x230.93687
.\tensy 8
.\teni x
.\teni e
.\teni s
.\teni :
.etc.


Overfull \hbox (26.1581pt too wide) detected at line 7, p.17
\tensy 8\teni xls:\tensy :\teni ab\tenrm (\teni aspect\tenrm 3(\teni x; l; s\ten
rm )) \tensy ↑↑[ \teni loc\tenrm (\teni x; result\tenrm (\teni move\tenrm (\teni
 x; l\tenrm )\teni ; s\tenrm )) = \teni l

\hbox(7.5+2.5)x230.93687
.\tensy 8
.\teni x
.\teni l
.\kern0.19678
.\teni s
.etc.


Overfull \hbox (40.23102pt too wide) detected at line 10, p.17
\tensy 8\teni xes:\tensy :\teni ab\tenrm (\teni aspect\tenrm 2(\teni x; e; s\ten
rm )) \tensy ↑↑[ \teni color\tenrm (\teni x; result\tenrm (\teni e; s\tenrm )) =
 \teni color\tenrm (\teni x; s\tenrm )

\hbox(7.5+2.5)x230.93687
.\tensy 8
.\teni x
.\teni e
.\teni s
.\teni :
.etc.


Overfull \hbox (40.26874pt too wide) detected at line 12, p.17
\tensy 8\teni xcs:\tensy :\teni ab\tenrm (\teni aspect\tenrm 4(\teni x; c; s\ten
rm )) \tensy ↑↑[ \teni color\tenrm (\teni x; result\tenrm (\teni paint\tenrm (\t
eni x; c\tenrm )\teni ; s\tenrm )) = \teni c

\hbox(7.5+2.5)x230.93687
.\tensy 8
.\teni x
.\teni c
.\teni s
.\teni :
.etc.

[15]
Underfull \hbox (badness 1769) in paragraph at lines 15--16, p.18
[][]\tenrm Specialize reasoning system to avoid 

\hbox(6.94444+1.94444)x250.93687, glue set 2.60661
.\hbox(0.0+0.0)x20.0
.\hbox(0.0+0.0)x20.0
.\tenrm S
.\tenrm p
.\kern0.27779
.etc.

[16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26]
Output written on LOGIC.DVI[S86,JMC] (26 pages, 18956 bytes).